First step opts second step opts reduced equation similarity variable |
or or |
Cannot be obtained explicit reduction |
Cannot be obtained explicit reduction |
or Cannot be obtained explicit reduction |
Cannot be obtained explicit reduction |
Cannot be obtained explicit reduction |
Cannot be obtained explicit reduction |
or |
Cannot be obtained explicit reduction |
o r |